Let G be a finite group of permutations of a set S.  Then, for any i in S, |G| = |orbG(i)| |stabG(i)|